Invariant theory - PDFSEARCH.IO - Document Search Engine

Invariant theory
Results: 599

#	Item
181	Second-order gauge-invariant cosmological perturbation theory NAKAMURA, Kouji (NAOJ) Due to the precise measurement of the Cosmic Microwave Background (CMB) by WMAP, the “precision cosmology” has begun. The farthest Add to Reading List Source URL: www.nao.ac.jp Language: English - Date: 2012-07-25 04:23:20 Mathematical physics Quantum mechanics Cosmological perturbation theory General relativity Gauge theory Perturbation theory Cosmic microwave background radiation BRST quantization Structure formation Physics Physical cosmology Theoretical physics
182	Petri Net Analysis using Invariant Generation Sriram Sankaranarayanan, Henny Sipma and Zohar Manna ? Computer Science Department Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2004-01-17 02:11:40 Invariant Mathematics Concurrency Diagrams Petri net
183	Simplifying Loop Invariant Generation Using Splitter Predicates? Rahul Sharma, Isil Dillig, Thomas Dillig, and Alex Aiken Department of Computer Science Stanford University {sharmar,isil,tdillig,aiken}@cs.stanford.edu Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2011-04-21 20:26:03 Mathematics Predicate transformer semantics Predicate logic Hoare logic Loop invariant Universal quantification Invariant Predicate Logic Mathematical logic Program logic
184	A Semantic Recognizer Infrastructure for Computing Loop Behavior Ali Mili Add to Reading List Source URL: daly.axiom-developer.org Language: English - Date: 2006-09-05 07:46:39 Cybernetics Compiler optimizations Loop invariant Function Control theory For loop Loop optimization Algorithm Mathematics Control flow Computing
185	Construction of Gauge-invariant Variables of Linear Metric Perturbations on an Arbitrary Background Spacetime NAKAMURA, Kouji (NAOJ) Perturbation techiques are powerful in many areas of Add to Reading List Source URL: www.nao.ac.jp Language: English - Date: 2015-03-23 03:19:20 Mathematical physics Quantum mechanics Quantum field theory Cosmological perturbation theory Perturbation theory General relativity Gauge theory Exact solutions in general relativity Spacetime Physics Physical cosmology Theoretical physics
186	From Invariant Checking to Invariant Inference Using Randomized Search Rahul Sharma and Alex Aiken Stanford University, USA {sharmar, aiken}@cs.stanford.edu Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2014-05-12 00:37:32 Emmy Noether Invariant theory Mathematics Invariant Loop invariant
187	A Data Driven Approach for Algebraic Loop Invariants? Rahul Sharma1 , Saurabh Gupta2 , Bharath Hariharan2 , Alex Aiken1 , Percy Liang1 , and Aditya V. Nori3 2 Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2013-01-08 02:57:59 Algebraic geometry Invariant Homogeneous polynomial Loop invariant Monomial Quantum invariant Mathematics Algebra Invariant theory
188	doi:rsta Add to Reading List Source URL: rsta.royalsocietypublishing.org Language: English - Date: 2015-05-05 01:41:59 String theory Algebraic geometry Symplectic topology Quantum field theory Symmetry Gromov–Witten invariant Pseudoholomorphic curve Topological string theory Mirror symmetry Physics Geometry Theoretical physics
189	IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS, VOL. 12, NO. 4, Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2006-05-23 07:06:48 Abstract algebra Seifert surface Torus knot Figure-eight knot Alexander polynomial Cinquefoil knot Knot invariant Knot Pretzel link Knot theory Topology Geometric topology
190	A HEEGAARD-FLOER INVARIANT OF BORDERED THREE-MANIFOLDS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF MATHEMATICS AND THE COMMITTEE ON GRADUATE STUDIES Add to Reading List Source URL: www.math.columbia.edu Language: English - Date: 2006-08-19 14:24:11 Homology theory Morse theory Symplectic topology Floer homology Heegaard splitting Manifold Knot invariant Handle decomposition Contact geometry Topology 3-manifolds Geometric topology

UPDATE